Verifying Service Choreography Model Based on Description Logic
نویسندگان
چکیده
منابع مشابه
mortality forecasting based on lee-carter model
over the past decades a number of approaches have been applied for forecasting mortality. in 1992, a new method for long-run forecast of the level and age pattern of mortality was published by lee and carter. this method was welcomed by many authors so it was extended through a wider class of generalized, parametric and nonlinear model. this model represents one of the most influential recent d...
15 صفحه اولVerifying web service conformance and interoperability w.r.t. a global choreography
Global choreographies define the rules that peers should respect in their interaction, with the aim of guaranteeing interoperability. An abstract choreography can be seen as a protocol specification; it does not refer to specific peers and, especially in an open application domain, it might be necessary to retrieve a set of web services that fit in it. A crucial issue, that is raising attention...
متن کاملWeb Service Composition Algorithm based on Description Logic
This paper presents a dynamic Web service composition algorithm based on description logic. Each input or output of the Web service request is regarded as a concept of description logic and according to the semantic similarity between concepts given the five types of description logic, we study on the dynamic composition algorithm based on service. Because the factors of service semantics and q...
متن کاملWeb Service Choreography Description Language (WS-CDL): Goals and Benefits
The Web Services Choreography Description Language (WSCDL) is an XML [1]-based language that describes peer-topeer collaborations of participants by defining, from a global viewpoint, their common and complementary observable behavior; where ordered message exchanges result in accomplishing a common business goal. The Web Services [2] specifications offer a communication bridge between the hete...
متن کاملA Context Model for Service Composition Based on Dynamic Description Logic
A service composition task for service broker is to discovery and compose provider’s services to satisfy user’s request. Many researchers model the context utilizing ontology-based or attribute-based method to assist service composition. We propose a new context model by combining the context logic with the dynamic description logic (DDL), where user’ context, provider’s context and broker’s co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Problems in Engineering
سال: 2016
ISSN: 1024-123X,1563-5147
DOI: 10.1155/2016/8947157